- indirekter Beweis
- доказательство от противного
Немецко-русский математический словарь. 2013.
Немецко-русский математический словарь. 2013.
Indirekter Beweis — Die Reductio ad absurdum (v. lat. für Zurückführung auf das widrig Klingende, Ungereimte, Unpassende, Sinnlose) ist eine Schlussfigur und Beweistechnik in der Logik. Bei der Reductio ad absurdum wird eine Aussage widerlegt, indem gezeigt wird,… … Deutsch Wikipedia
Beweis (Mathematik) — Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit oder auch Unrichtigkeit einer Aussage aus einer Menge von Axiomen, die als wahr vorausgesetzt werden, und anderen Aussagen, die bereits bewiesen sind. Man… … Deutsch Wikipedia
Indirekter Nachweis — Die Reductio ad absurdum (v. lat. für Zurückführung auf das widrig Klingende, Ungereimte, Unpassende, Sinnlose) ist eine Schlussfigur und Beweistechnik in der Logik. Bei der Reductio ad absurdum wird eine Aussage widerlegt, indem gezeigt wird,… … Deutsch Wikipedia
Beweis — Beweismaterial; Beweismittel; Nachweis; Corpus Delicti; Beleg; Beweisstück; Vorführung; Demonstration; Argument; Grund; Beweisgrund; … Universal-Lexikon
Beweis (Logik) — Ein Beweis (lat. argumentatio) ist ein Verfahren, bei dem die Wahrheit eines Satzes durch die Zurückführung auf bereits als wahr Anerkanntes sichergestellt wird. Inhaltsverzeichnis 1 Beweis im strengen Sinne 1.1 Indirekter und direkter Beweis 2… … Deutsch Wikipedia
Mathematischer Beweis — Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit oder auch Unrichtigkeit einer Aussage aus einer Menge von Axiomen, die als wahr vorausgesetzt werden, und anderen Aussagen, die bereits bewiesen sind. Man… … Deutsch Wikipedia
Mathematische Beweismethode — Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit oder auch Unrichtigkeit einer Aussage aus einer Menge von Axiomen, die als wahr vorausgesetzt werden, und anderen Aussagen, die bereits bewiesen sind. Man… … Deutsch Wikipedia
Mathematisches Beweisen — Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit oder auch Unrichtigkeit einer Aussage aus einer Menge von Axiomen, die als wahr vorausgesetzt werden, und anderen Aussagen, die bereits bewiesen sind. Man… … Deutsch Wikipedia
A (Logik) — Die Syllogismen (von altgr.: συλ λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des… … Deutsch Wikipedia
Ex mere particularibus nihil sequitur — Die Syllogismen (von altgr.: συλ λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des… … Deutsch Wikipedia
I (Logik) — Die Syllogismen (von altgr.: συλ λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des… … Deutsch Wikipedia